Distributed system development with ScalaLoci
نویسندگان
چکیده
منابع مشابه
Simplifying Distributed System Development
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this complexity, the implementation of a distributed system often contains the basic algorithm coupled with an embedded strategy for making choices, such as the choice of a node to interact with. This paper proposes a prog...
متن کاملOptimal Multi-Objective Planning of Distribution System with Distributed Generation
This paper presents a multi-objective formulation for optimal siting and sizing of distributed generation (DG) resources in distribution systems in order to minimize the cost of power losses and energy not supplied. The implemented technique is based on a genetic algorithm (GA) and weight method that employed to obtain the best compromise between these costs. Simulation results on 33-bus distri...
متن کاملDistributed System Development in B
The B-Method is a method for the stepwise derivation of sequential programs. In this paper we show how the B-Method can be used for designing distributed systems by embedding action systems within this method. The action system formalism is designed for the construction of parallel and distributed systems in a stepwise manner within the refinement calculus. We describe how action systems are wr...
متن کاملoptimal multi-objective planning of distribution system with distributed generation
this paper presents a multi-objective formulation for optimal siting and sizing of distributed generation (dg) resources in distribution systems in order to minimize the cost of power losses and energy not supplied. the implemented technique is based on a genetic algorithm (ga) and weight method that employed to obtain the best compromise between these costs. simulation results on 33-bus distri...
متن کاملDistributed Development of a Distributed Virtual Community System
The CYCLADES open collaborative virtual archive environment is a virtual community system that supports knowledge workers in searching and managing e-print documents from a large number of digital libraries. Users can share their results in existing communities as well as find new collaborators with similar interests. Four different teams with different scientific backgrounds developed the soft...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2018
ISSN: 2475-1421
DOI: 10.1145/3276499